61. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده : editor, Radek Silhavy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
62. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
63. Automated reasoning for systems biology and medicine /
پدیدآورنده : Pietro Liò, Paolo Zuliani, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational biology.,Medical informatics.,Systems biology.,Computational biology.,Medical informatics.,Systems biology.
رده :
QH324
.
2
.
A98
2019
64. Automatic differentiation of algorithms :
پدیدآورنده : George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët, Uwe Naumann, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential calculus -- Data processing -- Congresses.,Differential calculus -- Data processing.
رده :
QA304
.
G467
9999
65. Automatic parallelization :
پدیدآورنده : Christoph W. Kessler, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Codage.,Parallel processing (Electronic computers)
رده :
QA76
.
58
C475
1994
66. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
67. Bayesian analysis in natural language processing /
پدیدآورنده : Shay Cohen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bayesian statistical decision theory.,Natural language processing (Computer science),Bayesian statistical decision theory.,Natural language processing (Computer science)
رده :
QA76
.
9
.
N38
C643
2019eb
68. Bayesian networks in fault diagnosis :
پدیدآورنده : editors, Baoping Cai, Yonghong Liu, Jinqui Hu, Zengkai Liu, Shengnan Wu, Renjie Ji.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bayesian statistical decision theory.,Fault location (Engineering),Bayesian statistical decision theory.,Fault location (Engineering),MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.
رده :
QA279
.
5
69. Big data for remote sensing :
پدیدآورنده : Nilanjan Dey, Chintan Bhatt, Amira S. Ashour, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Big data.,Remote sensing-- Data processing.,Big data.,Computer vision.,COMPUTERS-- Databases-- Data Warehousing.,Environmental science, engineering & technology.,Geographical information systems (GIS) & remote sensing.,Numerical analysis.,Remote sensing-- Data processing.
رده :
QA76
.
9
.
B45
B5554
2019eb
70. Binary Decision Diagrams and Applications for VLSI CAD
پدیدآورنده : by Shin-ichi Minato.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
71. Bioinformatics techniques for drug discovery :
پدیدآورنده : Aman Chandra Kaushik, Ajay Kumar, Shiv Bharadwaj, Ravi Chaudhary, Shakti Sahi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bioinformatics.,Drugs-- Design-- Data processing.,Pharmacy informatics.,Computational Biology/Bioinformatics.,Computer Science.,Pharmacology/Toxicology.,Systems Biology.,Bioinformatics.,Drugs-- Design-- Data processing.,Life sciences: general issues.,MEDICAL-- Pharmacology.,Pharmacology.,Pharmacy informatics.
رده :
RS420
.
K38
2018
72. Blockchain for distributed systems security /
پدیدآورنده : edited by Sachin S. Shetty, Charles A. Kamhoua, Laurent L. Njilla.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Blockchains (Databases),Internet auctions-- Security measures.,Blockchains (Databases),COMPUTERS-- Security-- General.
رده :
QA76
.
9
.
B56
B56
2019eb
73. Brain mapping :
پدیدآورنده : edited by Arthur Toga, John C. Mazziotta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Brain mapping-- Methodology.,Brain-- anatomy & histology.,Brain Mapping-- methods.,Brain-- physiology.,Magnetic Resonance Imaging-- methods.,Aufsatzsammlung,Gehirnkarte,Imagem por ressonância magnética.,Mapeamento cerebral.,Methode,Tomografia.
رده :
QP376
.
B714
2002
74. British machine vision conference BMVC91:
پدیدآورنده : Pater Mowforth
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer vision.,Robot vision.,Visualization.
75. C# Data Structures and Algorithms :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,C# (Computer program language),Data structures (Computer science),Application software-- Development.,C# (Computer program language),COMPUTERS-- Programming Languages-- C#.,Data structures (Computer science)
رده :
QA76
.
73
.
C154
.
J367
2018eb
76. C++ primer
پدیدآورنده : / Stanley B. Lippman, Josaee Lajoie, Barbara E. Moo
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : C (Computer program language)
رده :
QA
,
76
.
73
,.
C153
,
L57697
,
2005
77. CAAP'83 :
پدیدآورنده : edited by Giorgio Ausiello, Marco Protasi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.,Computer science.,Computer Science.
78. CG International '90 :
پدیدآورنده : edited by Tat-Seng Chua, Tosiyasu L. Kunii.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics.,Computer science.
رده :
T385
.
E358
1990
79. CONPAR 81 :
پدیدآورنده : edited by Wolfgang Händler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
80. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984